Doesn't most pollution end up in the oceans, anyway? If mining pollutes rivers, those rivers spill into the ocean eventually.