And with that the first US presidential debate has come to an end.