Is Deep-Sea Mining Bad for the Environment?