In what battle did the death of the figure that Gaddafi loyalism after the 2011 Libyan Civil War was focused towards take place?