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"): The 2012 Libertarian National Convention was held during the first weekend of May 2012.
Relevant evidence: No