When I found myself in Gibraltar last Autumn, I couldn't resist the opportunity of going on a short boat trip to watch the dolphins that populate the Strait between Spain and Morocco.