“During the war in Iraq, Iran supplied Sunni jihadist groups with explosively formed penetrators (EFPs).”