Trump taps retired US general Kelly to lead Homeland Security