I want to know the answer to the following question:
Was there ever an official peace treaty after the war?
All the background I'm provided with is that "The war is considered to have ended at this point, even though there was no peace treaty.". Is that enough to answer the question?
Answer: yes