"Like many other dinosaurs, the lizard died out about 65 million years ago when a giant asteroid struck earth, scientists say.

"Longrich said he waited until after the recent U.S. election to name the dinosaur.

"'It would look like we were kicking him when he's down if he lost and we named this extinct lizard after him,' he said in an interview. ...

"Other celebrity names also have been used to name new species. A small Caribbean crustacean has been named after reggae icon Bob Marley, an Australian horsefly has been named in honor of hip-hop star Beyonce, and an endangered species of marsh rabbit has been named after Playboy magazine founder Hugh Hefner."