President-elect Donald Trump on Monday formally nominated retired Marine Corps Gen. John Kelly to lead the Department of Homeland Security, praising his military background as the right experience for the job. “[His] decades of military service and deep commitment to fighting the threat of terrorism…