I know my way around the coin world but readily admit I am just north of clueless when it comes to errors and varieties. So if this is a dumb question, I apologize...... Is this the result of a repunched mintmark?