Taco Tuesday trademark battle ends with a final request from Taco John’s to Taco Bell