Sales of Orange County’s High-End Housing Cools