Dictionary of National Biography, 1885-1900/Paul, John (1707-1787)

