In Europa hebben we 10.000 ICE-agenten.