Trump given options for ousting Nicolas Maduro

Donald Trump is weighing all the options for acting against Nicolas Maduro, the Venezuelan dictator/leader. Could the US president seriously be contemplating sending in US troops? It will clearly be on the shortlist of options, but more likely to be the last on the list, not the first. The White House national security officials who have drawn up the options know that Trump wants to avoid putting US boots on the ground, anywhere, except of course for American cities where crime is high. So I can't see him launching a war to oust Maduro. But, according to the The New York Times, Trump is trying to make up his mind which option to go for. He might think it's opportune to do something to divert attention away from all the things going wrong in the US, such as the five-week-old total government shutdown, and the federal workers being booted out of work. So, perhaps Trump will go for something spectaular to change the headlines in all the papers, not helped by the election of a young Asian/American Muslim as the next Mayor of New York. Perhaps a special forces helicopter-borne assault on the presidential palace in Caracas to seize Maduro as he sleeps. I can envisage something happening quite soon whatever it is. Trump said Maduros's regime is going to come to an end very soon. He must have something up his sleeve to make such a boast.