The royal mint