Most of the labor in building the public buildings of the national government in washington,
d.c., was done by