What an official end to the Korean War would mean to those who fought it