About how many people were killed in the October 20 bombing of Gaddafi's convoy