English: What was Ho Chong's nationality?
translation: Quelle était la nationalité de Heo Jeong?