What happens after the North Korea summit?