FTX taps Mike Novogratz’s Galaxy Digital to help sell crypto stash