It took some unknown number-cruncher at the AP to make it official, but the media went into breaking-news mode yesterday in declaring Donald Trump the Republican nominee.

More...