WATCH: Dolphin that was attacked by sharks is released in ocean after rehab