HKEX to Launch Derivatives Holiday Trading on 9 May - Regulation Asia