Hong Kong (CNN)In the dog days of 2017, when it appeared North Korea and the United States were on the path to war, a debate raged in the halls of the White House.