I should also note on this thread that various ways of pronouncing Mr.
bin Laden's family name are emerging. Most speakers seem to pronounce
the "a" as in "father", but I've heard that it is more authentic to
recall the name "Aladdin".