10,000 US troops leave Afghanistan