Not even World War III would let Elon Musk out of his Twitter deal