Multi-ship Collision Avoidance Control Strategy in Close-quarters Situations: a Case Study of Dover Strait Ferry Maneuvering | IEEE Conference Publication | IEEE Xplore