Since December 2017, some 40,000 people have been barred from entering the US under the ban, according to State Department data