Un sismo de magnitud 7.3 sacudió las aguas del mar de Flores, en la región central de Indonesia, sin que las autoridades hayan informado de momento de daños.