Immigration Deal Would Double Size of Border Patrol