Deployment will get a new name

WASHINGTON — The Pentagon has directed U.S. military commanders to stop calling the deployment of active-duty troops to the southern border “Operation Faithful Patriot,” a name derided by critics as overtly political while President Donald Trump played up the mission in stumping for Republican candidates.

The decision was acknowledged Wednesday after the midterm elections, and it was not immediately clear what name the military operation may ultimately take instead.