Gas pipe-laying barge with its attendant tugs in the North Sea