The Verge Bending to industry, Donald Trump issues executive order to “expedite” deep sea mining 11 h