“The U.S. military operation in Venezuela involved approximately 200 troops on the ground for a few hours, with a firefight lasting less than 27 minutes and no American casualties.”