There was no immediate comment from the American military about the joint operation, the first since President Trump took office.
