Was George H. W. Bush right to end the Gulf War without the overthrow of Saddam Hussein?