Cathedral Lake, near Aspen, Colo.