Dictionary of National Biography, 1901 supplement/King, Thomas (1835-1888)

