狄仁杰中被充当配角的王孝杰,在真正的历史上究竟有多英勇