Text this: The life and services of General John Philip de Haas, 1735-1786;