Tsunami deposits from major explosive eruptions: An example from the 1883 eruption of Krakatau