What happened to the Gaddafi survivors?