"That is, after a quick swim in the Petalioi Gulf,"