Will SpaceX's public ticker be $MARS? (0% odds) | Kelvon