Ruddiman, Thomas,1674-1757.