There was no covert action program to kill Bin Laden.