Indonesia revokes most mining permits in dive hotspot after outcry