Question: who is the ceo of the boring company?
Answer: Elon Musk