Heraldo de Madrid - Indonesia revokes most mining permits in dive hotspot after outcry