If I recall correctly, a few years back the Congress passed a law making it illegal for us to kill a head of state.
Laws are for Republican Presidents.
And anyway, once Gaddafi’s dead, he’s no longer head of state, problem solved. ;’)