name of a place in today’s Shanxi Province