Orange County Sheriff Jerry Demings

Florida shooting: Disgruntled employee kills five, takes own life, say local police