Cabo da Roca, the most westerly point of the European mainland, Portugal