The Washington Post says that the matter of diversity in Trump strikes federal workers in other jobs.