Código postal de Puerta del Sol en Mariano Escobedo, Veracruz de Ignacio de la Llave, México