Why the Korean War still matters