What will SpaceX's public ticker be? | Polytreasury: Automatización de mercados de predicción