Hong Jin-ki — South Korean judge (1917-1986)