ماهو الرمز البريدي san martin (covadonga)?