Providing coverage under the local government correctional service retirementplan administered by the public employees retirement association (PERA) forHennepin county medical center protection officers(mk)