What was the name of the lake where the Aztecs finally saw the symbol?

The name of the lake is Lake Texcoco. The now dried up lake is located in present day Mexico City. The Aztecs settled on an island in the middle of the lake. The sign was an eagle perched on a nopal (prickly pear cactus) holding a snake.