Flores Denizi: 5,2 büyüklüğünde deprem