Porto Torres festeggia Santu Bainzeddu: benedizione in mare