First they were killed by too many tourism, too many hotels, etc. The Coral just died. Last time I dived there, in 1998, they were broken down, fallen, and getting covered in sand...
JPC: all rights reserved