Martial law definition civil war