“The Pentagon's current budget request is for $1.5 trillion.”