Did president trump declare martial law