“The firefight during the U.S. operation to capture Nicolas Maduro in Venezuela lasted less than 27 minutes, with no U.S. casualties but significant casualties on the opposing side.”