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 "Only a small section of the original lake remains, located outside the Federal District, in the municipality of Atenco, State of Mexico.". Is that enough to answer the question?