There’s more than one bone of contention in the great finger-lickin’ barbecue debate. Pork or beef? Vinegar- or tomato-based sauce? No sauce — or maybe something mustard-based? Travel site TripAdvisor has waded into hotly contested territory with a list of the best BBQ restaurants in the United States.