Gallagher, Mary (Career in Irish public service)