Is the Cuban revolution over?