Map of Allen Lake in Duchesne County, UT:

Allen Lake Duchesne Hayden Peak 40.6576439 -110.7623112