President Donald Trump’s name has been removed from the facade of the Kennedy Center, but inside the renowned performing arts venue, a difficult financial picture is forcing tough choices.

A federal judge ordered Trump to provide his plans for keeping the Kennedy Center open beyond July 5, after removing his name from the facade.

The dispute stems from Judge Cooper’s May ruling that the board violated the 1964 law establishing the center by renaming it after Trump.