Was President Obama's decision to attack Libya a good choice?