KRX Derivatives to Start Trading 15 Minutes Earlier from 31 July - Regulation Asia