“The U.S. military operation to remove Nicolas Maduro resulted in the deaths of 75 to 100 Venezuelan and Cuban personnel.”