“Top Secret America” — what was the Washington Post thinking?