July polling average in Florida's Republican gubernatorial primary