Strip-mining ocean floor is idiotic anyway.

Far better to mine asteroids. At least destroy non-essential non-inhabited places duh!!