Congress does not mint coins, and this order does not coin new currency. They are separate concerns.