Number of active-duty United States military personnel in Europe in 2024, by country