President-elect Donald Trump’s choice to run Homeland Security is retired Marine Gen. John F. Kelly, a border-security hawk who retired in February as chief of the U.S. Southern Command, the ...