SOURCE: Budget of the U.S. Government, Fiscal Year 2019 (U.S. Government Printing Office, 2018), Historical Tables, Table 3.1 available at http://www.whitehouse.gov/omb/budget/Historicals.