Yet, they didn’t.
And for those commenting about risk from tourism, this is mesophotic coral at 175 feet. It’s out of range of recreational scuba much less shallow-reef snorkelers. Only technical divers can reach this reef. That’s why it hadn’t even been explored for all this time.
Isn’t this whole article about how they’re doing so right now?