History of Hangul, the Korean language