US October crude exports to South Korea planned at 420k BPD (+57.3% MM) according to fixture report seen by Argus