Código postal de Miguel Alemán en Pueblo Viejo, Veracruz de Ignacio de la Llave, México