El año 1980 fue, quizás, muy significativo para el General Choi.