Que opções tem Elon Musk se não desistir da compra do Twitter?