Here’s the Detroit Tigers’ lineup for Fourth of July game in Texas