Philipp Waldeck's diary of the American revolution