韩国朝鲜发生战争了吗