a fossil of a crocodile in a cave