Companies join a deep-sea mining rush after Trump executive order, as regulators fast-track permitsMay 21, 2026