You're wildly underestimating the scale of the ocean. If we could extract all our necessary minerals from it rather than mining them that would alleviate a huge cause of environmental damage.