Will SpaceX's public ticker be $MARS? (0.0% Yes) | Polydata