Perhaps that should have been the end of it. The war ended in 1995 with an agreement thrashed out at a US Air Force base in Dayton, Ohio. It froze the conflict rather than settled it.