Mining companies and the Trump administration want the metals to boost manufacturing. Environmentalists and some countries worry industrial mining would harm oceans.