Mining the Bottom of the Ocean Is as Bad for the Environment as it Sounds