Will SpaceX's public ticker be $SPAX? | Blockcircle