This ancient croc was bigger than most dinosaurs