“The Wall Street Journal reported that former President Trump told aides he would not resume an all-out war with Iran unless U.S. troops are killed.”