U.S. intelligence suggested María Corina Machado, Venezuela’s opposition leader, would struggle to lead the government. But ...