1980 Ireland ½ Penny Coin