There are a variety of dangerous sharks in the Mediterranean. During/after ancient Greek or Roman naval battles, were overboard sailors ever attacked by sharks?