Trump Doesn’t Like the Navy’s Electromagnetic Catapults. Can He Get Rid of Them?