https://m.washingtontimes.com/news/2018/may/7/cbo-says-april-was-best-month-history-us-budget/

Maybe Trump and Co do have some of that 7 Trillion!