What should be done about Colonel Gadhafi?