The last time a US president drew a “red line” and refused to enforce it, thousands of Syrians paid the price.