Coupling eruption and tsunami records: the Krakatau 1883 case study, Indonesia