Will the U.S. go to war with North Korea in 2018?