"Taco Tuesday" trademark battle ends