Who gave NATO the right to execute Gaddafi