Indonesia’s Disaster Management Agency says 9 dead in volcanic eruption at Mount Lewotobi Laki Laki