White House has had COVID-19 procedure for months, White House officials say
HEDGE accordingly