Waterfront mansion in West Palm Beach sold for $17M