Who was the only civil war soldier executed for war crimes?