Alt National Park Service says the CBP agent that murdered Alex Pretti has been named.