According to some reports, the world’s first mining operation in the world to use vessels for dredging ore from the sea bottom was…