Fascinating and something I had no idea about. If you’re wondering why Mexico City no longer has a massive lake in the valley here is the explanation of Lake Texcoco disappearing to create much of Mexico City today. More on Tenochtitlan here.