The head of the US Border Patrol, Michael Banks, resigned Thursday, joining several other high-ranking immigration officials who have departed the Trump administration in recent months.

This is an ingested summary. Full reporting is available at the primary source below.