Elephants swim quite well in the wild. I think it's probably just fine. In the saddest scenario he's in the pool for physical therapy or because his real parents tragically died and now has to be taught the way of the aquelephant by humans.