Bureau of Industry and Security budget (inflation-adjusted, in 2025 dollars)