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