Highway Patrol Releases Name of Sergeant Involved in Lumberton Shooting