United States. War Department. Construction division of the army