Obama didn’t draw the red line