Many people infer that it was carved during the Republic of China, but it is definitely impossible in the Ming Dynasty. The Qing Dynasty always believed that the Ming Dynasty was orthodox, and they defeated Li Zicheng. What's more, Zhu Yuanzhang is an emperor, and his tomb should be called Mausoleum, Imperial Tomb. The person who carved this word at least has democratic ideas. And the level is not high.
If it helps you, I hope it can be adopted. Thank you.