jang kuk chol red card vs north korea