历史上江南首富沈万三，传说帮朱元璋修过城墙，老朱真的见过他吗