Qual foi o rei que foi guilhotinado em praça pública ao final da guerra civil?