Código postal de Miguel Alemán Velasco en Gutiérrez Zamora, Veracruz de Ignacio de la Llave, México