Has any one heard about any whale sharks in the area yet?