The US involvement in the Korean War was important to achieving what goal?