Elon actually found a CEO for Twitter.