formerly Washington Group Intl.