Underpinning and Shoring of the Historic Howard Theatre in Washington, DC

May/June 2014