martial law history