What needs to be done about the U.S. defense budget?