Here what I can say with about 99% certainty--assuming he's not totally yanking our chains--if what he saw was 25' long, it wasn't anything other than a basking shark. If it was a great white, he way overestimated its size--which would be understandable under the circumstances. It probably would have looked like a boxcar to me, too
