ماهو الرمز البريدي el vallecito (san carlos minas, depto. minas)?