President Trump had previously been amping up his rhetoric against Iran.