Correction, the June 14 primary in DC is for Democrats. June 7 is the end of the Republican primaries.
Yes. The DC GOP voted last week and gave their delegates to Rubio! Ha!