Elon Musk buys 10% of Twitter