Should we mine on the ocean floor?