"Volksrepublik Korea" übersetze ich mal ganz vorsichtig als gängige Umgangssprache der jeweiligen Journalisten.
Anderes Beispiel: Deutschland wird ja meistens nicht BRD (als Bundesrepublik Deutschland) genannt, sondern einfach nur D (Deutschland).
Anderes Beispiel: Deutschland wird ja meistens nicht BRD (als Bundesrepublik Deutschland) genannt, sondern einfach nur D (Deutschland).