“The firefight during the U.S. operation in Venezuela lasted less than 27 minutes and resulted in no American casualties.”