Which one of the following volcanic eruptions caused tsunami in Indonesia on December 22, 2018 which killed more than 200 people?