US “regrets” release of FARC leader wanted for extradition