A revision of the Jurassic reptile Hallopus victor (Marsh), with remarks on the classification of crocodiles - Walker, Alick Donald (1970)