A 7500-year paleotsunami record from the coastal sediment of Sri Lanka and Indian Ocean trans-basin tsunami history.