A skull of the now-extinct horned crocodile.