Mining companies and the Trump administration want the metals to boost manufacturing. Environmentalists and some countries worry industrial mining would harm oceans. By Eric Lipton The long-running ...