Will SpaceX's public ticker be $STAR? (1% odds) | Kelvon