origini

“Il paese del grande popolo coreano”, quali sono le origini di questo nome così particolare?