Dictionary of National Biography, 1901 supplement/Allman, George James

