And now, a ship that can mine 39,000 tons of ore from a mile under water

There are giant robots involved.