20170821 world.us: Ten sailors missing after US destroyer collision off Singapore