20180202 world.us: Third-ranking US diplomat quits in latest departure under Trump