Avoiding Marine Collisions With SMART-SEA