“The U.S. military operation to capture Nicolas Maduro in Venezuela involved approximately 200 troops on the ground for a few hours.”