“ incrassatus Cope, 1876
"
— Deinodon (?) horridus