Email Record: Wartime Information to Mariners, Supplementing United States Coast Pilots, Oct. 7, 1942.