President Donald Trump’s executive order on July 20 is mostly about metals and magnets. But America’s defense contractors ...