Mason, Robert, active 1688-1718, postal official in Ireland