Trump’s CIA strike on Venezuela keeps options open, but carries risks