At this moment it does not matter anymore. In the next decades Mar-a-lago will be hit, either if Trump likes it or if not. He just can make it sooner and worse.