You will be given a definition of a task first, then some input of the task.
In this task, we ask you to elaborate the sentence without changing its general meaning. You can do so by explaining further the input sentence, using more precise wording, adding qualifiers and auxiliary information etc.

In April 2018 , Jong-un and Moon Jae-in formally attended the inter-Korean summit of 2018 and agreed to formally end the Korean War before 2019 .
Output:
At the April 2018 inter-Korean summit , Kim and South Korean President Moon Jae-in signed the Panmunjom Declaration , pledging to convert the Korean Armistice Agreement into a full peace treaty , formally ending the Korean War , by the end of the year .