Código postal de San Juan Ixhualco en Mazatecochco de José María Morelos, Tlaxcala, México