So it seems that Donald Trump got COVID