oh well .. we dont really know the actual space they are allocating for that tank if they are building one. anyways if they are really planning to keep one i think they will make sure it survives, or else those animal lovers will kick up a fuss.. a BIG one .. lolz
one of the aquariums in japan has a whale shark i think. its possible to keep one i guess .. but its juz a matter of how long can it survive in captivity.... IMO anything that size is meant to be in the sea