Thomas, John, 1712-1793