United States Mint — producer of circulating coinage for the United States