The raid was carried out by special operations commandos, a source familiar with the operation told CNN.

The CIA assisted in locating the ISIS leader, the defense official said.