Toen president Donald J. Trump gisteren tegen verslaggevers in het Witte Huis zei dat de "doden waren gestopt" in Iran, en leek af te stappen van mogelijke militaire actie, had de Amerikaanse inlichtingendienst nog niet aangegeven dat het doden van demonstranten definitief was gestopt in Iran, vertellen bronnen aan CNN.