Dutch jack-up services company Seafox has ended its pursuit to acquire rival Gulf Marine Services.After it in April floated an idea…