Código postal de Ampliación Miguel Alemán en Boca del Río, Veracruz de Ignacio de la Llave, México