Could the world’s deep seas become China’s mining frontier?