Gas Leak Evacuates 4,000 from Columbus Industrial Park