When the U.S. Mint stops making a coin, do they break their molds and dies? Or do they store them away?