Was the capital gain calculated at the time of sale?  Or was the withholding a flat percentage regardless of whether there was a gain or loss?  Ireland uses FMV at date of death for cost basis.  You may have to file an Irish tax return to know how much credit is allowed on US taxes.