船舶海工用油缸