What city was named for it's mining and trading of salt?