According to panzerman, the King Sejong gold coin costs at least 25000 USD:(, so obviously I am never going to buy it, I will instead focus on...
Separate names with a comma.