XRP / USD massive dump at $ 0.257 after general market weakness