Tompkins, John, d. 1784