They might as well get rid of it, and then just readjust all the currency. A dime is the new penny, a dollar is the new dime, $10 is the new Dollar, etc.
Certainly a dime has less buying power than a penny in they 70s. You can call them Trump pennies, and Trump dollars to make Mango Mussolini happy