The Hong Kong Stock Exchange will launch stock options for Pop Mart [HKG: 9992] on Oct. 13, the bourse announced today. The HKEX witnessed robust performance over the derivatives market this year, with an average daily trading volume increasing 13% to record 1.66 million deals in the first eight months from a year earlier, it added.