Title: Printed treasures in the library of the United States naval observatory