📰 JUST IN – Thousands of additional active-duty troops are being deployed to the southern U.S. border with Mexico — CNN