A federal judge has declined the Kennedy Center’s request to pause an order that requires the removal of President Donald Trump’s name from the building. This decision was made public on Friday.

Last month, U.S. District Judge Christopher Cooper determined that the addition of Trump’s name to the renowned Washington arts venue was done illegally. He stated that only Congress has the authority to alter the Kennedy Center’s name. Accordingly, he mandated the removal of all references to Trump by Friday.

The Kennedy Center’s Office of General Counsel issued a memo on June 4, instructing staff to ensure that all official documents, including email signatures and letterhead, reference the building as “The John F. Kennedy Center for the Performing Arts” or simply “Kennedy Center.” The center’s website has already omitted Trump’s name, and recent communications, such as tickets for the June 28 Mark Twain Award for American Humor ceremony, no longer mention him.

During his return to office, Trump significantly influenced the Kennedy Center, despite having largely overlooked it in his first term. He replaced the previous leadership with a new board of trustees, personally appointing members and becoming chairman.