A diner found 100 million-year-old dinosaur footprints in a restaurant : NPR