US Domestic Troop Deployments Under Trump Cost Nearly $500M in 2025, CBO Estimates