United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 2023," Budget of the United States Government (March 28, 2022). https://fraser.stlouisfed.org/title/54/item/612089, accessed on January 17, 2025.