" PUNCH-MARKED " COINS. 



