Perhaps Trump can find Maduro's replacement more agreeable.