The operation to capture Venezuelan dictator Nicolás Maduro has been one of the most complex US military operations in years.