The Vietnam War: A Boon for Korea’s Economy