How Trump Could Boost Deep-Sea Mining