Which country aided South Korea during the war?