So.. I don't know why the author of the list wrote it down here. Because it's not a dinosaur, and not one of the reptiles at all, but a mammal! And also, it's an ancestor of whales! And the name is such because of a mistake by paleontologists. Of course, it has a new name - Zeuglodon cetoides ("whale-like collar-toothed"), which is now used along with the historical name, which means "royal lizard".

Author's list: https://www.furaffinity.net/view/58921845/