US Border Patrol Chief Michael Banks had been in the role since US President Donald Trump took office in January 2025.