A Trump executive order will unleash a global deep-sea mining boom It will galvanise international co-operation over writing rules for the ocean bed