pennies have been minted so far this year in the US.