Time Service Dept., U.S. Naval Observatory: the official source of time used in the United States