Probably confusing it with North Korea, which is officially the "Democratic Peop... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		jdmichal on April 2, 2020 \| parent \| context \| favorite \| on: How to resolve a conflict when both sides are righ... Probably confusing it with North Korea, which is officially the "Democratic People's Republic of Korea".

tome on April 3, 2020 [–]

Ah yes, it is called "Corea" in some languages

https://es.wikipedia.org/wiki/Corea

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact