re: #125 HappyWarrior
Wait, are you telling me the Democratic People’s Republic of Korea is poorly named?