Should illegal immigrants who assault police officers be deported immediately?