Dictionary of National Biography, 1885-1900/Tomkins, Thomas (1743-1816)

