NORTH DAKOTA: DEVILS LAKE