president of Ireland — head of state of the Republic of Ireland