I want to know the answer to the following question:
What was the original name of Mexico City?
All the background I'm provided with is that "The city was originally built on an island of Lake Texcoco by the Aztecs in 1325 as Tenochtitlan, which was almost completely destroyed in the 1521 siege of Tenochtitlan, and subsequently redesigned and rebuilt in accordance with the Spanish urban standards.". Is that enough to answer the question?
Answer: yes