20150514 unknown: Osama was sold by ISI man