The 4.2-ka event, ENSO, and coral-reef development