20171129 world: What happens when a volcano erupts?