After Donald Trump decided they weren’t a good idea, Ripple scrubbed years of its work on a US dollar CBDC.