The practice of deep-sea mining is currently illegal