Releases by McCarthy, Dennis D. (United States Naval Observatory)