US defense spending is still going strong, whatever the Republicans may say