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