The first Republican presidential debate.