United States. War Dept. Construction division of the army.