Donald Trump has deployed a strong naval force close to Venezuelan shores. It is not clear what he will do with it, as it is too big to keep indefinitely deployed and too small for a full-scale invasion. He says he wants regime change. How will he achieve that? And can he?