History doesn’t often remember people like Richard Hayes, the quiet librarian with Mayo roots who outsmarted the Nazis, ...