north korea crossed into south korea