Dictionary of National Biography, 1885-1900/Ironside, Gilbert (1632-1701)

