Could Mar-a-Lago sinkhole reduce Trump property tax bill?