Código postal de Santa Rosa de Lima en Tlaxco, Tlaxcala, México