To compare: the US occupation of Afghanistan cost about this much per year, but that budget has been freed up.

It has not. Do you think we downsized our military after leaving?