Would Libya have been better off if Muammar Gaddafi had been captured?