Safety of marine operations