The effects of police manpower depletion during the NUM strike, 1984-85