Anon.GUEST, you said that's the US mainstream media reporting for you. All the news that's fit to print gets ignored, but you don't get much more mainstream than the paper you quoted, the Washington Post. The same information was on www.cnn.com , www.abcnews.com and www.cbsnews.com. They all sound pretty mainstream to me.