Construction of WMATA Metro Blue Line Federal Triangle Station, Washington, DC, 1972.