Trump was wearing a mask for the first time in public.