Empire and independence; the international history of the American Revolution