Hughes Christensen > 6.125 HCC STX40DX iadc 617