How Trump’s Iran strike options are shaped by Venezuela buildup