欧洲地中海地震中心：帝汶海发生5.2级地震。