Just after noon there were as many as 19 police officers in the school hallway, but it wasn’t until 12:50 that Border Patrol moved in to kill shooter.