Talk:People's Democratic Republic of Laos

Should this be the "Democratic People's Republic of Laos", given that the North Korea's official name is the "Democratic People's Republic of Korea", and sometimes abbreviated as the "Korean People's Democratic Republic", similar to how Laos's official name is the "Lao People's Democratic Republic". (24.205.83.199 (talk) 04:06, 16 December 2017 (UTC))