I found the source, he didn't.   He said: “The fish took my shark bait but then jumped out of the water, right at my daughter. It’s the craziest thing that’s ever happened in my life. After the barracuda attacked Koral it was briefly on its side. I kil  34c1  led it with a fillet knife by stabbing it in the head — before it killed one of us.”