dollars in military spending so far this year.