“The U.S. federal deficit was $1.3 trillion in the first half of the current fiscal year.”