What is the abbreviation for David robinson coal mine?

Looking for the shorthand of David robinson coal mine or how to abbreviate it? We have 2 shorthands for David robinson coal mine.