Europe storms: Ships collide off Dutch coast; crew evacuated