Are the PALMS and PALACE casino chips no longer in play?

Did the Allegro Aruba by Occidental replace one of these casinos/hotels?

What about the Radisson? Did it replace some other casino/hotel?

Thanks - Scott