Direktur Dana Moneter Internasional ngunjungi Lombok, Indonesia sawise gempa bumi kasebut Oktober 8, 2018