General Choi (1918-2002)