The execution of Mussolini