Dictionary of National Biography, 1885-1900/Mills, John (d.1736)

