Text this: Ko Chosŏn, Tanʼgun, Puyŏ :