Donald Trump says it was a mistake for the US to intervene in toppling Gaddafi, but in 2011 he called for military action to do just that.