agreement between North and South Korea on ending the Korean War and the denuclearisation of the Korean Peninsula