"the Pride of Pensacola,"