name of a valley in today's Shanxi Province