Ah, remember back when the plan was to reduce the budget in the Obama years to ~450 billion from ~550 billion? And we actually did decrease the military budget several years in a row?

Good times. Well, not really. But better times.