The red line that wasn’t: Will Trump back down from attacking Iran?