Trump’s (very) brief period of coronavirus mourning