Ripple locks 800 million XRP into its escrow, while another tranche of XRP tokens leaves crypto exchange