official_donjon_soup_coin (DSCOIN)