FCC Construction and Gulf Operators.