Panoramica di attività turistiche di Praia da Rocha, Portogallo