I want to know the answer to the following question:
Where is the lake located in Atenco?
All the background I'm provided with is that "Originally much of the valley laid beneath the waters of Lake Texcoco, a system of interconnected salt and freshwater lakes.". Is that enough to answer the question?