City of Devils Lake, North Dakota