July – Korea July 20d trade