계엄령(휘연)