How many people were at Washington's home game against Miami?
CREATE TABLE "december" (
  "date" text,
  "visitor" text,
  "score" text,
  "home" text,
  "leading_scorer" text,
  "attendance" real,
  "record" text
);
SELECT COUNT("attendance") FROM "december" WHERE "visitor"='miami' AND "home"='washington';