“To some extent, what we’re talking about is the political leadership, the leadership appointed by each administration,” Rosner told Gizmodo. “The department is really run by its civil servants.”