Código postal de San José de la Laguna en Lázaro Cárdenas, Tlaxcala, México