Dictionary of National Biography, 1885-1900/Penny, John (1803-1885)

