Stevenson, Thomas — entry in Dictionary of National Biography, 2nd supplement