United States. Bureau of the Budget
and United States. Office of Management and Budget. "Fiscal Year 2020,"
Budget of the United States Government - Appendix
(March 18, 2019).
https://fraser.stlouisfed.org/title/233/item/583062, accessed on July 18, 2025.