Trump announces end of military operations against Iran by May 31st?