Trump just got rid of his most effective immigration enforcer