Praia da Rocha, Portimão, Algarve.