韩国济州岛以南海域发生4.2级地震