In February 2016, billionaire investor Carl Icahntook over the Trump Taj Mahal casino in Atlantic City after its parent company, Trump Entertainment Resorts, emerged from chapter 11 bankruptcy. (Then presidential candidate Donald Trump hadn’t been involved with the company since 2009, save for a 10 percent ownership stake for the right to use his name on the side of the building.) At the time, Icahn said his acquisition would mark “the beginning of [a] turnaround” for the Taj and turn it into “one of Atlantic City’s few success stories.”

Instead, the opposite happened. After a six-month battle with the casino’s union, which wanted “pay raises and the restoration of health-care benefits for some 1,000 cleaners, cooks, waitresses and other workers at the Trump Taj Mahal,” according to The Wall Street Journal, Icahn shut the place down, blaming union president Bob McDevitt. Now, he’s washing his hands of the whole thing, having decided, some 12 months after taking over, that he wants to go minimalist with his Atlantic City casino holdings. Per The Wall Street Journal:

“After considerable analysis and deliberation we determined that we only wanted to own one operating casino property in Atlantic City,” Mr. Icahn said Wednesday in announcing the sale to a group led by Hard Rock International Inc.

The sale price wasn’t disclosed, but Hard Rock said the buyers plan to invest more than $300 million to buy, renovate and reopen the casino. The investors say the Hard Rock Hotel & Casino, as it will be known, will bring about 3,000 jobs to the battered New Jersey city.

Oh, and if anyone else is looking for a casino bearing the president’s name, Icahn is also trying to unload Trump Plaza Hotel and Casino, also in Atlantic City. Perhaps the president can recommend some buyers the next time he and Icahn chat about regulationsthe investor wants jettisoned.