Half-year Report - Gulf Marine Services plc | RNS | Ticker