《明史·列传·卷十九》
最初名叫国宝，赐名为祯。
初名国宝，赐名祯。
His original name was Guobao, but it was later changed to Zhen after being granted by the emperor.
<s>[INST] Render the following Classical Chinese text into fluent English: 初名国宝，赐名祯。 [/INST] His original name was Guobao, but it was later changed to Zhen after being granted by the emperor.</s>
Render the following Classical Chinese text into fluent English: 初名国宝，赐名祯。
user
His original name was Guobao, but it was later changed to Zhen after being granted by the emperor.
assistant