Ted Cruz: How to push back Putin in Syria