🦕 Kol

It's tied with Mei for "shortest dinosaur name".