the short king dino (petr)