Thomas Gent — Irish printer and writer (1693-1778)