Trump and Putin Discuss Election, Also Decide on Syria Cease-Fire