What was the name of the whale in Disney's Pinocchio?

Movies & TV Trivia Question: What was the name of the whale in Disney's Pinocchio?