A Border Patrol tactical unit killed the Texas gunman. The elite force has played key roles in the US