Just a simple curiosity. Were any coins ever minted in the name of the Shun Dynasty during its short existence?