The Korean war a 25-year perspective