They were fishing about nine miles out of Destin, Florida. At one point, the shark came up and “mouthed the back of the boat, bit it, to see what we were ... and realized that we weren’t ...