Explosion risk-based water spray mitigation analysis of ultra-deep-water semi-submersible platforms