Officer shoots, kills man during brawl involving more than 20 in Arlington