Hard to believe, but apparently a diver was actually swallowed and eventually spit out by a whale shark.
There is a diver incident report on the Divers alert network website that records an incident where a 62 year old advanced open water diver was actually swallowed by a whale shark.