William Thomas 1798–1843 English bibliographer