The war is over when the people who would fight it say it's over. If the US and ROK are willing to leave Kim in power, then it's over regardless of the freedom

The war is over when the people who would fight it say it's over. If the US and ROK are willing to leave Kim in power, then it's over regardless of the freedom of the DPRK population. Just like we are not at war with Iran, or Russia, or Eritrea, or a dozen other dictatorships around the world.