What was the original name of the Mexico city?

Tenochtitlan

**********