What is the name of the crocodile in Disney's 'Peter Pan'?

What is the name of the crocodile in Disney's 'Peter Pan'?
Twitter Google+ Share on Facebook