Q: Base defense spending in the U.S. hit a post-World War II high in fiscal year 2010 when adjusted for inflation. How much has it declined since then in inflation-adjusted dollars?