20170806 world.us: US calls off rescue for three marines missing off Australia