Russian influence in Venezuela: What should the United States do?