Diplomatic documents preserved in the Public Record Office.