Bethesda, Md., mansion on market for $12.5 million

The house was once home to a major developer of the United States Holocaust Memorial Museum.