Jeonju (nombre propio): Ciudad de Corea del Sur.