Is Wang Zanghai mentioned in the notes of grave robbery a real person?

Wang Zanghai's historical prototype;

According to Notes on Tomb Robbery, Wang Zanghai was ordered to directly participate in the design of the whole Ming Palace. It was after the Ming Dynasty moved its capital that the Ming Palace was designed. In the early Ming Dynasty, Yingtianfu (now Nanjing) was the capital, and in the 19th year of Yongle (142 1), Ming Taizu Judy moved the capital to Shuntianfu (now Beijing), and Yingtianfu was renamed Nanjing. Wang Zanghai presided over the design of the Ming Palace Museum in Beijing, which was the same age as the Ming Emperor Judy. At that time, the emperor who pursued immortality was the Ming emperor Judy.

The Forbidden City in Beijing was built in the fifth year of Yongle (1402 ~ 1424) and in the fifteenth to eighteenth years of Yongle. The whole construction project was built by the Marquis of Chen Gui, with Wu Zhong as the planner. From the fifth year of Yongle in the Ming Dynasty (1407), Emperor Taizong of the Ming Dynasty concentrated on skilled craftsmen all over the country and recruited 200,000 to 300,000 migrant workers and military workers. After 14 years, this large palace group was built and became one of the famous buildings in the history of China.

Presumably, Wang Zanghai is based on Wuzhong.