Tetragon pays Ripple $ 3.4 million after its lawsuit failed