Trump’s Mar-a-Lago real estate market value vs. Palm Beach County tax assessor value