Sentinel: Orange County Sheriff Jerry Demings files to run for county mayor

Sentinel: Orange County Sheriff Jerry Demings files to run for county mayor