ماهو الرمز البريدي ojo de agua (dpto.minas)?