El nombre del emperador azteca Tízoc es usado también por: