Democratic People’s Republic of Korea and other People’s democratic dictatorships