So how do you move a whale shark?