Tae Jung Kim
South Korean, born 1938