All tagged deep-sea mining