Trump, first lady positive for virus; he has ‘mild symptoms’