Japanese wire services today saying "it may have included Osama bin Laden". Very tentative, though, almost as an interrogative. Would need a lot of hard confirmation in that case.
Said three of 'em got plugged by Uncle Sam.
This is a typical Reuters,i.e.,
a U.S. official said,said the official, who asked not to be identified,Citing a high Pentagon sourceWe can always hope they are right on this one.