ماهو الرمز البريدي puerto la mina?