Biodiversity loss from deep-sea mining will be unavoidable