When John DeStefano, Jr. Who was the mayor for the city in the late 90s