Shanghai's benchmark share index plunged below 4,000 points for the first time since April