After months of planning, the U.S. launched a complex mission to capture Venezuelan leader Nicolás Maduro. WSJ’s Shelby Holliday explains what went into the operation. Photo: Social Media/Reuters Some ...