Mike Banks, the chief of the U.S. Border Patrol, has resigned from his position. His departure adds to a series of turnovers among immigration officials within the Trump administration.