. . . . . "Pontosaurus"@en . . . . . "Pontosaurus is a now extinct genus of pythonomorph from the Late Cretaceous period. It was originally named Hydrosaurus, but that name was preoccupied by an agamid lizard, so it was renamed."@en . . . . .