While the State Dept. workforce is more diverse, it's leadership is not