What to do about the Tokyo Whale?