I imagine the King was given a set of the freshly minted coins, the mint would of had a set both of which would not of been sold or loaned out 7 seems a little on the low side, coin collectors at the mint would of no doubt pushed for copies under the table. Saying there is only 7 sets with one set having been stolen. If there were say another fifty coins and then sold to collectors under the guise of it being the stolen set...possibly the sequel to the London heist.