XRP records received: When and how will the tokens be distributed?