What is another name for the tick-tock croc from Peter Pan?

A Clock-odile.