White House chief of staff John Kelly (left) and then-staff secretary Rob Porter leave the White House with President Trump on Nov. 29, 2017. Porter, who had been working for months under an interim clearance, was forced to resign in February after allegations of domestic abuse became public.

White House chief of staff John Kelly (left) and then-staff secretary Rob Porter leave the White House with President Trump on Nov. 29, 2017. Porter, who had been working for months under an interim clearance, was forced to resign in February after allegations of domestic abuse became public.