Farley, Richard of the Nautical Almanac Office.