Steven Spielberg’s recently released film “The Post” has generated a lot of interest in the Pentagon Papers and Mike Gravel, who wasn’t in the movie but played a role in making the top-secret government documents public.