Jeong Sang-jin 2008 Nonhyeon-dong massacre Chŏng Sangjin Jung Sang-jin (javelin thrower) Korean name Revised Romanization of Korean