U.S. Border Patrol Chief Michael Banks’ departure is the latest leadership shake-up of officials implementing President Donald Trump’s immigration crackdown