Código postal de Juan Lima Olivares en Tetla de la Solidaridad, Tlaxcala, México