WASHINGTON (Reuters) - Republican U.S. President-elect Donald Trump on Monday formally announced Retired General John Kelly, a 45-year military veteran, as his choice to lead the Department Of Homeland Security.