Lawyers for what is currently called the Trump Kennedy Center for the Performing Arts are instructing staff to immediately begin switching the name of the facility back to its original title.

The instructions, laid out in a memo sent Thursday by the center’s general counsel and obtained by CBS News, are the first official signal the national arts hub is complying with a federal court order to drop President Trump’s name and reconsider plans to close for two years of renovations. 

U.S. District Judge Christopher Cooper last week ruled in favor of Democratic Rep. Joyce Beatty of Ohio, a member of the Kennedy Center’s Board of Trustees, who filed a lawsuit challenging the institution’s name change and plans to close for two years for extensive repairs beginning this summer.

Cooper found the board had overstepped its authority and ordered the president’s name to be removed from “the institution’s title, as represented on the façade of the Center, any other physical or digital signage, and official materials.”

The memo to staff Thursday said staff “must immediately change email signatures, letterhead, and other documents to reflect the name as ‘The John F. Kennedy Center for the Performing Arts,’ or ‘Kennedy Center.’”

Changes to interior and exterior signage and any furniture carrying the current name must be switched back by next Friday, according to the memo.

The Kennedy Center didn’t immediately respond to requests for comment.

The memo also says center officials still are “considering their options and will provide further guidance shortly” on whether the center will remain open after July 5, when extensive renovations costing $257 million are set to begin.

In his order, Cooper agreed renovations to the arts center are “sorely needed,” but he wrote his preliminary injunction does not “categorically” bar the board from closing the Kennedy Center, “should it come to this decision anew after independently balancing its multiple obligations to the Center in a prudent fashion.”

“By way of this opinion, the Court does not purport to dictate how the Center should be run, nor does it prescribe any particular plan for the institution — construction, closure, or otherwise — moving forward,” he wrote. “It simply holds the Kennedy Center Board to certain minimum requirements imposed by law. Beyond that, the Court will let the parties play on.”

In the early weeks of his second term, Mr. Trump replaced several members of the center’s Board of Trustees with senior members of his administration and close allies, who then elected him as chair.

In December, the Kennedy Center’s board voted to change the performing arts institution’s name to The Donald J. Trump and The John F. Kennedy Memorial Center for the Performing Arts. Within hours, the Kennedy Center’s website was updated to read “The Trump Kennedy Center” and crews went to work adding Mr. Trump’s name to the building’s facade. But lawmakers and legal scholars said such a change required congressional action.

Several artists who were set to perform at the institution canceled performances and the executive director of the National Symphony Orchestra, which performs at the Kennedy Center, left for a new job.

President Trump’s deployment of the National Guard in Washington, D.C. has reduced petty property crimes, but has had little to no effect on violent crime, despite the high cost to taxpayers, according to a new analysis from the nonpartisan think tank Niskanen Center.

The study’s findings were published just weeks after federal officials announced that the number of troops in D.C. is set to double this summer to 5,000 as part of a “summer surge” of law enforcement ahead of events planned for America’s 250th birthday celebration.

Trump deployed the National Guard to D.C. last August, as part of the administration’s Safe and Beautiful Task Force, which he said was an effort to reduce crime and beautify the city. The task force includes hundreds of federal law enforcement — including immigration enforcement — working in conjunction with local police. It’s an approach that Trump previously said he wants to carry out in “many cities,” and already has in places like Memphis and New Orleans.

There are currently around 2,800 National Guard members deployed to D.C. from both the city itself and about a dozen other states, all of which have Republican governors. In contrast to other controversial National Guard deployments by Trump during his second term, the president has the authority over the Guard in D.C.

Guard members do not legally have the power to carry out arrests, but can detain individuals.

Troops — many of whom are armed — are largely carrying out what are called “high visibility patrols” to make their presence known around federal property and in residential areas, parks and city metro stations in an effort to free up D.C. police to redeploy to higher-crime areas. The report found that generally hasn’t happened.

Instead, researchers found that the deployment led to a 24% drop in “opportunistic” crimes — like property crimes and vehicle break-ins. But the presence of the Guard had no effect on violent crimes, including robberies, which were already on a downward trend before Trump came back into office.

“What the Guard brought was a massive, sudden shock from the visible presence of uniformed military personnel on the streets of Washington almost overnight,” researchers wrote, calling the deployment of the Guard a “blunt and expensive instrument.”

A recent assessment by the nonpartisan Congressional Budget Office found that it costs the federal government around $1.5 million per day for the current number of troops deployed to D.C.

“I think on balance the National Guard’s deployment is not a failure, there is success in what they’ve done. But I guess the point that we try to make is: compared to what?” says Richard Hahn, one of the authors of the study. “You could get the same or better outcomes, possibly much better outcomes, for much cheaper, if you just were very thoughtful about policing.”

In response to NPR’s request for comment about the study, White House spokesperson Abigail Jackson said that it “should not be taken seriously.”

“The President’s Safe and Beautiful Task Force and National Guard presence have driven down crime, beautified the city, and improved quality of life for countless individuals,” Jackson said, without providing any evidence.

It’s unclear when the planned “summer surge” would end, or if the number of National Guard troops in the city would return to their current levels in the fall.

“Our message today is that we’re not done. We are not satisfied. We are not content with good. We are coming for perfection, and we won’t be done until we reclaim every last inch of ground on anyone seeking to do harm in our nation’s capital,” Assistant Attorney General Colin M. McDonald said when announcing the surge.

NPR reached out to task force officials behind the Guard deployment for clarity on when the surge might start or end, but did not receive an immediate response.

The House on Wednesday passed a measure to direct President Trump withdraw U.S. forces from Iran or win congressional approval to continue military operations there. The vote was the fourth of its kind in the chamber since the war began, the previous three having failed.

A vote on this measure was originally scheduled for last month but was pulled by House Republican leaders after it became clear they lacked the votes at the time to defeat it because of several members’ absences. Several Republicans were also absent on Wednesday, but party leaders were unable to delay the vote any longer.