Air force fy18 budget, 4 billion in the baseline “blue budget” and $13