US budget at $1.8T deficit in fiscal year 2025