Credit: Metropolitan Regional Information Systems, Inc./Metropolitan Regional Information Systems, Inc. DC’s luxury-home market takes a hit