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