Ho-yeh-p'ing, Shanxi (mountain)