Despite price cut to $12.9M, West Palm Beach mansion would set record

summary