Indonesia bans DuckDuckGo