Código postal de Puerto Arturo en Xaltocan, Tlaxcala, México