“Kore Demokratik Halk Cumhuriyeti” İngilizcede