A pocket history of US presidential debates