Documentary History of the Armed Neutralities, 1780 and 1800, Together With Selected Documents Relating to the War of American Independence 1776-1783 and the Dutch War 1780-1784