At the White House correspondents’ dinner, the president chuckled at his opponent’s expense but made it clear Donald Trump is no joke.