Thomas Weaver — English mining engineer and geologist (1773–1855)