Google’s top US Election Day search is in Spanish: “Dónde votar”