Ройтерс: Колко са американските военни, базирани в Европа?