Text this: Ship Collision Avoidance by Distributed Tabu Search