John --
Thanks from all of us for your service to our country, and merry Christmas! I'll check again after the library that has these records opens again. Unless my local library has the book mentioned, that will be after New Year's.