Post: Elon Musk once backed a $10 billion OpenAI ICO, internal notes show