The Korean War as a "police action"