a fossil of a crocodile