The difference between martial law and civil war?