Here's How Many XRP Tokens Ripple Continues to Hold