Compensation for police officers injured in the line of duty