Circle should redeem Noble USDC held in smart contracts