Breitbart News’ Dan Scavino first reported the lake’s elevation at 8,800 feet, and the Denver Elevation Service (DENES) said the lake is at 8:00 pm, or 12 hours after the elevation change.
The elevation change was originally reported as 9:30 pm, and was later corrected to 8:02 pm, according to a press release from DENES.
The lake is one of the most popular hiking destinations in the region.
The lake is located on the west side of the lake, and is home to the famous El Capitan waterfall.
The waterfall has been on the Colorado Plateau since the mid-1930s.