40 billion won to usd