Trump gave Russia a dotted red line. Is he serious?