Mining company attacks scuba diving tourists in Indonesia