A Survey of Recent Machine Learning Solutions for Ship Collision Avoidance and Mission Planning