Dictionary of National Biography, 1912 supplement/Coke, Thomas William

