Devils Lake Map, Devils lake