New daily record in the Eurex KOSPI Product on 7 November