For the last 11 fiscal years, Congress has provided an additional $5.1 billion above the president’s annual budget requests ...