Before revision: Deep sea mining is the extraction of minerals from the ocean floor at depths of to .
After revision: Deep sea mining is the extraction of minerals from the