Pei-t'ai Ting, Shanxi (mountain)