What is the abbreviation for Presbyterian church the republic korea?

Looking for the shorthand of Presbyterian church the republic korea or how to abbreviate it? We have 2 shorthands for Presbyterian church the republic korea.