Border Patrol chief Mike Banks has resigned as part of ongoing personnel changes within the US Department of Homeland Security during the Trump administration, alongside other recent departures including Todd Lyons and Kristi Noem.