US-Kriegsschiff kollidiert mit Tanker

In der Nähe von Singapur ist ein amerikanisches Kriegsschiff mit einem Tanker zusammengestossen. Zehn Matrosen werden vermisst.