Top Trump State Department official Michael Anton to depart in the fall