How the US Should Respond to a North Korean Invasion of South Korea