What will SpaceX's public ticker be? — 42