retire mint (retiremint)