Rescued whale shark returns to ocean