Actually, it's the other way around. ;-) and I believe there is only one other aquarium in the world that has whale sharks as well.

-Alex