Korean exports to Iran to reach US$ 84.5 bil. by 2025: KERI