y más tarde referido por los mismos autores al género "Dryptosaurus".