which historic district was designated a historic district in the year 1992 ?
gulfview hotel historic district