…used in the official title of several present or former communist or left-wing states…
…official name (since 1949) of China.…
…official name for North Korea.…
…short for People's Republic of China.…
