The dollar cratered from a 40-year high after the rarest kind of market move: a joint intervention, dressed up by Trump as a favor between friends.