name of a pavilion in today’s Shanxi Province