ماهو الرمز البريدي marin (parroquia santa maria do porto)?