President Trump signed an executive order Thursday that aims to jump-start mining on the ocean floor. Large-scale deep sea mining has never been done — though some companies have pushed for it — but ...