Ancient crocodile

There was a now-extinct species of crocodile that could gallop.