the numbers agree with him.
https://datalab.usaspending.gov/americas-finance-guide/spending/categories/