What is the abbreviation for Devils lake regional devils lake united states?

Looking for the shorthand of Devils lake regional devils lake united states or how to abbreviate it? We have 2 shorthands for Devils lake regional devils lake united states.