Historia del tiempo para South Korea, South Korea | Polytreasury: Automatización de mercados de predicción