Why Trump paused fresh Iran strikes just hours before launch