a mountain in Shanxi Province, name of a county in old times