$19 million mansion sells in Delray Beach, setting new local