Royal Mint — government-owned mint that produces coins for the United Kingdom