Some good shark info, for those of you who like to do some research. Definitely found in the Gulf of Thailand too Especially Sail Rock.
The whale shark (Rhincodon typus) is a slow-moving, filter-feeding carpet shark and the largest known extant fish species. The largest confirmed individual had a length of 12.65 m (41.5 ft) and a weight of about 21.5 t (47,000 lb). The whale shark holds many records for size in the animal kingdom, most notably being by far the largest living nonmammalian vertebrate. It is the sole member of the genus Rhincodon and the only extant member of the family Rhincodontidae which belongs to the subclass Elasmobranchii in the class Chondrichthyes. Before 1984 it was classified as Rhiniodon into Rhinodontidae.
The whale shark is found in open waters of the tropical oceans and is rarely found in the water below 21 °C (70 °F). Modeling suggests a lifespan of about 70 years, but measurements have proven difficult. Whale sharks have very large mouths and are filter feeders, which is a feeding mode that occurs in only two other sharks, the megamouth shark and the basking shark. They feed almost exclusively on plankton and small fishes, and pose no threat to humans.
The species was distinguished in April 1828 after the harpooning of a 4.6 m (15 ft) specimen in Table Bay, South Africa. Andrew Smith, a military doctor associated with British troops stationed in Cape Town, described it the following year. The name “whale shark” refers to the fish’s size, being as large as some species of whales, and also to its being a filter feeder like baleen whales.
More Information can be found here: https://en.wikipedia.org/wiki/Whale_shark