20170821 world.us: US destroyer collides with merchant vessel east of Singapore: US navy