Ding Baozhen, the Qing dynasty official in Sichuan after whom the dish is named