a fossil of a crocodile skull