Gross Domestic Product for the Second Quarter of 2012