Tenochtitlan Itztlixóchitl, y Tenochtitlan