Sung-yen-k'ou, Shanxi