Vertical mixing and coral death in the Red Sea following the eruption of Mount Pinatubo