The last whale shark I saw in the Gulf Stream was way back in the 90's. I've seen a number of them around Belize way back when. They are an awesome sight!.
I had a Gulf Stream fishing trip planned for July but it has been moved to October. All I'll be doing until then is an occasional "three hour tour".