My suggestion (to everyone) would be not to feed the troll.
Thank you. He has been behaving this way for days, and after trying to respond politely, I have given up and am saying nothing.
I don't know what the best response is, but civility is more important than ever right now.