Question: What is the more formal name of the history museum complex in which Mitt Romney announced his candidacy for the Republican nomination for president in 2008?
Sentence (from "Gary Johnson presidential campaign, 2012"): On November 6, 2012, Johnson received just under 1% of the popular vote in the general election, amounting to more than 1.2 million votes, more than double what the Barr/Root ticket received in 2008.
Relevant evidence: No