Trump has decided there is no need to resume major operations against Iran at this time - Rubio