Washington Group International — former American engineering services company