Are we spending too little – or too much – on the military?