The nautical almanac for the year 1987. (U.S. Govt.Print. Off., 1985)