Is the Trump Threat Too Serious for Humor?