What will SpaceX's public ticker be? — Market Odds