Washington times is not the same as Washington Post. It has less credibility and it is a tabloid. I will not take its news too seriously.