Or we don't know what his actual given name in Korea is, but Han Choi is the name under which he entered the U.S.
Vagyis nem tudjuk, hogy Koreában mi volt az igazi neve, de Han Choi néven jött az U.S.A.-ba.