The US said the joint operation, which began in December last year, was a success.
Related stories
At Trump meeting, Xi Jinping lays out terms to avoid US-China military conflict
Live: Iran's President says US ‘must choose’ whether to end war
Trump-Xi summit: Four key takeaways from the Washington, DC, meeting
From Nagaland to a path to the Oscars: Indian film brings a rarely seen world to global cinema
Saudi reports fresh Houthi attacks as France pledges to defend key oil port
Costa Rica minister fired for unapproved meeting with Trump in US