"Prinsendam" and the "Taurus" tugboat