北朝鮮も民主主義人民共和国と名乗っているが