Remember President Obama's redline in Syria?