Exemption of Police Magistrate's Department from operation of The Holidays Ordinance, 1875