There are currently four active coin-producing mints