Krokodiler namn i capt krok som svalde klocka?

I den ursprungliga boken han har inget namn, men i senare böcker Peter och Starcatchers & Peter och skugga tjuvar, han kallades Mr Grin. Efter Disney filmen fanns en serie comics publicerade och i de karaktären var känd som Tick-Tock Croc. Hoppas det hjälper?!?