20170806 world.us: Search called off for 3 US Marines who crashed off Australia