1987-88. Cor-Ten steel
The District was originally called "Federal City": The name "Washington, D.C." was not officially adopted until the late 19th century. Before that, the city was referred to as "Federal City" or simply "Washington."