Public Records Office (London, England).