Tsunami-producing quake caused mass coral death in Indonesia