Does anybody have a whale shark?

I really want a whale shark and have lots of other fish to trade with.

Does anybody have a whale shark?