The name of the Aztec city was changed by the colonists