What is the abbreviation for Devils lake?

Looking for the shorthand of Devils lake or how to abbreviate it? We have 3 shorthands for Devils lake.