Miami’s Down Market Compels Owner of $25M Penthouse Condo to Sell for $9.9M