User blog comment:Jimlaad43/Euro 2016 Sweepstake!/@comment-24393094-20160623085434/@comment-24393094-20160623204603

Indeed, although as I did when I mentioned him, Republic of Ireland can be abbreviated to Ireland.