Mixed-breed dog that fatally mauled girl in Fort Worth has been euthanized, city says