Hongzhi Emperor
明孝宗（朱祐樘）称：“王谔今之马远也”。