Pensacola mayor race: Steven Sharp, former ECSO deputy, file