Orange County sheriff's deputy slain in line of duty identified