Publications of the U.S. Naval Observatory