US | Sat May 11, 2013 9:15am EDT

White House offices reopened after brief evacuation