Historia del tiempo para Shenzhen, Guangdong, China | Polytreasury: Automatización de mercados de predicción