[The Republic of Korea: History of Martial Law].