2018 Inter-Korean summit comes to an end