What should Obama do about the defense budget?