Should the Dolphins bench quarterback Ryan Tannehill?