When Did The Martial Law End