Trump gets his Covid booster