Como é que voltou a ser falado em coreano? Antes já tinham dado o nome oficial...