U.S. President Donald Trump and Russian President Vladimir Putin agreed in principle during their July summit in Helsinki that Iran should exit Syria, a U.S. administration official familiar with the meeting said Thursday, according to Bloomberg news. The summit was largely dominated by discussion of the crisis in Syria and Iran’s role in the conflict, said the official, who spoke on condition of anonymity. Russian leadership, however, said accomplishing Iran’s withdrawal would be difficult.