The ever-ballooning US military budget