Publications of the United States Naval Observatory (U.S. Government Printing Office, 1900)