Funny you should mention that.
I used to vacation on Longboat Key thru the 70's and early 80's,and I heard stories about probably the same shark.I heard he was called "Thor."