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