Protected corals could be wiped out by deep sea mining