Código postal de El Barranco (El Rosario) en Ciudad Valles, San Luis Potosí, México