trump elctromagnetic catapult system uss gerald r ford goddamned steam defense budget