History of the eruption of Mount Krakatoa in Indonesia