Ancient lizard that died out with the dinosaurs named after Obama