After the Osama bin Laden operation, did the U.S. release too much information?