What we know about president Trump's Venezuela deal