To get a sense of just how big the American defense budget is, consider that this year’s budget increase, $80 billion, is larger than the entire defense budget of every