The Korean War ended in a truce.