Should a capital gain from sale of a Florida rental property (reported on a K1) be excluded from D.C. income for state tax return? If so, how is that adjustment made?