Historian Joe Vinson discusses the day Pensacola had three mayors.