Did Bradley Manning do the right thing when he released secret government documents?