Armata americană ia în considerare redenumirea oficială a războiului cu Iranul „Operațiunea Baros” în cazul în care actualul armistițiu se prăbușește și președintele Donald Trump decide să reia operațiunile majore de luptă.