Hall, David, 1714-1872.