NBC: Ron DeSantis will launch his presidential bid with Elon Musk