The national budget deficit was $1.7 trillion in fiscal year 2023