ماهو الرمز البريدي cima de ribeira (san miguel)?