Trump considered nuking North Korea in 2017