What is the abbreviation for Democratic people s republic korea?

Looking for the shorthand of Democratic people s republic korea or how to abbreviate it? We have 5 shorthands for Democratic people s republic korea.