User utterance: can you see what the budget for the united states military was in 2018