Ts'ai-lueh Shan, Shanxi (mountain)