Should the Afghanistan war documents have been leaked to the public?