The Department of Homeland Security has not yet released the identities of the agents involved in Alex Pretti's fatal shooting.