Dictionary of National Biography, 1912 supplement/Pullen, Henry William

