Korea – June export surge fades in July