“ hazenianus Cope, 1877

" " "

= Deinodon (?) horridus