24” Offshore Gas Export Pipeline Riser Repair