Statistics for Mining ravaging the Indian Ocean's coral reefs