Indonesia stops nickel mining operations at top tourist diving destination