Hong Kong exchange operator backs decision to halt Ant's record IPO