Texas: Jack in the Box restaurant manager stabbed by customers who refused to wear a mask