P\'an-t\'o-ts\'un, Shanxi