Originally much of the valley laid beneath the waters of Lake Texcoco, a system of interconnected salt and freshwater lakes. What made up Lake Texcoco