United States. Bureau of the Budget and United States. Office of Management and Budget. "Fiscal Year 2024," Budget of the United States Government - Appendix (March 13, 2023). https://fraser.stlouisfed.org/title/233/item/633904, accessed on July 8, 2025.