The Republic of Korea reacts to the inter-Korean summit