BRPD officers' names released in stabbing altercation