EU migrant arrivals passed record 100,000 in July