Reminder: The last U.S.-Russia ceasefire in Syria ended when U.S. bombed Syrian soldiers