When the English monarch died, did they keep minting coins with their face on them while they made a new one, or did they halt production until it was ready?