Dictionary of National Biography, 1885-1900/Mitchell, Thomas (fl.1735-1790)

