The war is considered to have ended at this point, even though there was no peace treaty.