Columbus, Georgia: Including Its History, the Columbus Historic District, Columbus Historic Riverfront Industrial District, the Springer