Changes

'''Reinhardt Holm''' was [[mayor of Pensacola]] for less than a year in [[1967]]. He died in office.