On July 11, the U.S. Department of State fired 1,107 civil servants and 246 Foreign Service officers with assignments in the United States. Among the latter were exceptional colleagues of ...