Porto Santo assinala Dia do Mar com limpeza da praia