tunnel mining under the ocean