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