The whale shark, which weighs over 12 tons, is a whale.