r/todayilearned•14 yr. agoArodienTIL North Korea's official name is "The Democratic People's Republic of North Korea."korea-dpr.com/korea-dpr.comPosted Dec 29, 2011, 4:14 AM UTC10Share