> While the particular mural may be in good shape

It isn't, it's gone. The image in the article is a watercolor reproduction made in the 1920s-30s. And even when they found it, it was as deteriorating fragments on the floor, which were subsequently lost to a hurricane.