North Korea’s Kim sets denuclearization time line, prompting thanks from Trump