Title: Deep ocean mining of manganese nodules