Konungen har mildrat krigsrättensbom