Kelly, a retired Marine general, has been serving as Homeland Security secretary.