US Border Patrol chief is retiring