What will be the lesson, for China, Russia, Cuba and Iran of President Trump's Great Venezuela Raid?