Records used for Official History, First World War, 1860-1937. Records of the Navy Board and the Board of Admiralty (Records of the Public Record Office., 1982)